Jean Jacques Rousseau definía como "segundo parto" a la transición que supone la adolescencia, al nacimiento de la nueva identidad tras la crisis. La adolescencia coge siempre desprevenido, comienza y con ella llega un tsunami de cambios y transiciones de cuerpo y mente. Por un lado la imaginación se desborda, la sensibilidad está a flor de piel, se vive con grandes dosis de vitalidad y alegría y con la certeza de que todo es posible; hasta cambiar el mundo. Sin embargo (...) se reconoce también al adolescente por los desarreglos emotivos a los que están expuestos, los sentimientos de angustia, los miedos exagerados al ridículo, la crisis de identidad y la fuerte falta de confianza en sí mismos. (shrink)

Ideal rods and clocks are defined as an infinitesimal symmetry of the spacetime, at least in the non-quantum case. Since no a priori geometric structure is considered, all the possible models of spacetime are obtained.

Minimal Negation is defined within the basic positive relevance logic in the relational ternary semantics: B+. Thus, by defining a number of subminimal negations in the B+ context, principles of weak negation are shown to be isolable. Complete ternary semantics are offered for minimal negation in B+. Certain forms of reductio are conjectured to be undefinable (in ternary frames) without extending the positive logic. Complete semantics for such kinds of reductio in a properly extended positive logic are offered.

The first European settlements in the new world faced technical issues with the help of the XVI century scientific advances. Besides briefly exposing the scientific and technological situation, this paper explores, with the help of reverse engineering, two singular mechanical wits representative of the technological advances introduced in America to overcome different problems. Firstly, a pump, based on an alternative movement system through crankshafts and pistons used against the continuous flooding suffered in the Ciudad de México valley. Although flooding remained (...) a problem (it was solved in the XX century), hydraulic pumps were essential for continuous soil drainage. Secondly, a port crane for handling cannons, military devices, and construction materials during the Lima fortification in the XVII century. For both cases, reverse engineering, through engineering methods, Computer-Aided Design CAD programs, and additive manufacturing, provides virtual and/or tangible mockups that help to analyze and improve our knowledge about the dimensions, materials, and functions of used (and currently lost) mechanical systems during the American colonization. (shrink)

Background The birth plan is a tool that allows the self-learning and thoughtful analysis of the women during the birthing process, facilitating their making of decisions and participation, in agreement with the bioethical principles of autonomy and no malfeasance. Goal: To understand the perception and satisfaction of women who presented a birth plan. Methodology: Qualitative, descriptive, observational, retrospective and cross-sectional study. The population of the study was composed of 21 women who presented a birth plan regulated in a Hospital ever (...) since the recording of the presentation of the birth plan was started until 2015. Place: Cartagena. Techniques/methods: Semistructured interview. Results-Discussion: Most women considered the plan as a useful self-learning tool on the meaning of the birthing process, as it favored the communication between the expectant mothers/health professionals. Our informants sought information related to the birthing process from informal sources; most perceived a level of respect of their wishes during the process of giving birth. The use of the birth plan did not imply the perception of loss of the degree of control during the birth, although attention to the written document could be improved. Conclusions The use of the birth plan is a very satisfactory and useful experience for their involvement in their self-care, although in some cases, the births did not proceed according to their plans. Nevertheless, the prevalence of the principle of Non-Malfeasance over Autonomy was evidenced. (shrink)

En la Universidad Médica “Carlos J. Finlay”, se realiza una intervención educativa con el objetivo de valorar la concepción y aplicación de un programa para un curso de preparación de metodólogos en correspondencia con sus funciones en condiciones de universalización de las Ciencias Médicas de Camagüey, en el periodo de septiembre de 2005 a junio de 2007. Se emplean diferentes métodos investigativos: los teóricos, así como la técnica de discusión grupal, permitió diseñar el programa del curso para la preparación de (...) metodólogos en condiciones de universalización y los empíricos, la obtención de algunos datos de interés acerca de los metodólogos que reciben el curso y sus valoraciones en relación con el mismo. Se constata que la preparación pedagógica y experiencia en el desempeño es insuficiente para asumir el rol de metodólogo y valoran de muy importantes los contenidos desarrollados, los métodos y formas organizativas concebidas, por lo que se concluye que el programa del curso cumple con las expectativas del metodólogo al estar diseñado teniendo en cuenta las funciones que estos desempeñan y sus necesidades sentidas A study was carried out about the intervention in education developed to increase teacher's methodological preparation under their new functions due to the fresh conditions of learning within the community applied to medicine training and education in Camagüey. It was carried out in the period of September 2005 to June 2007. Different research methods were used: the theoretical ones and the technique for group discussion help to design the course syllabus and the assessment for those teachers that received the course. It was verified that the methodological preparation and performance experience are insufficient to play their role; but they value as very important the contents, the methods and the organization of the course. The authors conclude that the course meets the expectations of training, because it was designed keeping in mind the teachers' functions and their necessities. (shrink)

ABSTRACTA conditional is natural if it fulfils the three following conditions. It coincides with the classical conditional when restricted to the classical values T and F; it satisfies the Modus Ponens; and it is assigned a designated value whenever the value assigned to its antecedent is less than or equal to the value assigned to its consequent. The aim of this paper is to provide a ‘bivalent’ Belnap-Dunn semantics for all natural implicative expansions of Kleene's strong 3-valued matrix with two (...) designated elements. (shrink)

As it is well known, in the forties of the past century, Curry proved that in any logic S closed under Modus Ponens, uniform substitution of propositional variables and the Contraction Law, the naïve Comprehension axiom trivializes S in the sense that all propositions are derivable in S plus CA. Not less known is the fact that, ever since Curry published his proof, theses and rules weaker than W have been shown to cause the same effect as W causes. Among (...) these, the Contraction rule or the Modus Ponens axiom, for example, are to be noted. But, moreover, as Brady has proved, even the Generalized Modus Ponens axiom or the Generalized Contraction rule give rise to “Curry’s Paradox” under the same circumstances as W does. In some previous work by us, “weak relevant model structures” are defined on “weak relevant matrices” by generalizing Brady’s model structure MCL built upon Meyer’s Crystal matrix CL. We have proved that wr-ms only verify logics with the “depth relevance condition”. The aim of this paper is to show how to falsify gMPa and gRW in certain wr-ms. In particular, it will be shown that gMPa is falisfied in any wr-ms and gRW in any wr-ms verifying Routley and Meyer’s basic positive logic B+. (shrink)

As is well known, the variable-sharing property (vsp) is, according to Anderson and Belnap, a necessary property of any relevant logic. In this paper, we shall consider two versions of the vsp, what we label the "weak vsp" (wvsp) and the "strong vsp" (svsp). In addition, the "no loose pieces property," a property related to the wvsp and the svsp, will be defined. Each one of these properties shall generally be characterized by means of a class of logical matrices. In (...) this way, any logic verified by an actual matrix in one of these classes has the property the class generally represents. Particular matrices (and so, logics) in each class are provided. (shrink)

A classical result by Słupecki states that a logic L is functionally complete for the 3-element set of truth-values THREE if, in addition to functionally including Łukasiewicz’s 3-valued logic Ł3, what he names the ‘$T$-function’ is definable in L. By leaning upon this classical result, we prove a general theorem for defining binary expansions of Kleene’s strong logic that are functionally complete for THREE.

The logic E4 is related to Brady’s BN4 in a similar way to which Anderson and Belnap’s logic of entailment E is related to their logic of the relevant implication R. In ‘A companion to Brady’s 4-valued relevant logic: the 4-valued logic of entailment E4’, quoted in this paper, three alternatives to BN4 and another three to E4 are summarily introduced in a couple of pages as the only alternatives containing Routley and Meyer’s basic logic B, provided some conditions are (...) fulfilled. The aim of this note is to prove BN4 and its three alternatives are the same logic up to some point, since they are functionally equivalent to each other, as it is the case with E4 and its three alternatives, which are also functionally equivalent to each other; to some extent, E4 is superior to BN4, since the latter is functionally included in the former, but not conversely. (shrink)

This paper is a sequel to ‘Belnap-Dunn semantics for natural implicative expansions of Kleene's strong three-valued matrix with two designated values’, where a ‘bivalent’ Belnap-Dunn semantics is provided for all the expansions referred to in its title. The aim of the present paper is to carry out a parallel investigation for all natural implicative expansions of Kleene's strong 3-valued matrix now with only one designated value.

Routley-Meyer Ternary Relational Semantics for Intuitionistic-type Negations examines how to introduce intuitionistic-type negations into RM-semantics. RM-semantics is highly malleable and capable of modeling families of logics which are very different from each other. This semantics was introduced in the early 1970s, and was devised for interpreting relevance logics. In RM-semantics, negation is interpreted by means of the Routley operator, which has been almost exclusively used for modeling De Morgan negations. This book provides research on particular features of intuitionistic-type of negations (...) in RM-semantics, while also defining the basic systems and many of their extensions by using models with or without a set of designated points. (shrink)

Routley-Meyer type ternary relational semantics are defined for relevant logics including Routley and Meyer’s basic logic B plus the reductio rule and the disjunctive syllogism. Standard relevant logics such as E and R (plus γ ) and Ackermann’s logics of ‘strenge Implikation’ Π and Π ′ are among the logics considered.

We consider the logics determined by the set of all natural implicative expansions of Kleene’s strong 3-valued matrix and select the class of all logics functionally equivalent to Łukasiewicz’s 3-valued logic Ł3. The concept of a “natural implicative matrix” is based upon the notion of a “natural conditional” defined in Tomova.

“Weak relevant model structures” (wr-ms) are defined on “weak relevant matrices” by generalizing Brady’s model structure ${\mathcal{M}_{\rm CL}}$ built upon Meyer’s Crystal matrix CL. It is shown how to falsify in any wr-ms the Generalized Modus Ponens axiom and similar schemes used to derive Curry’s Paradox. In the last section of the paper we discuss how to extend this method of falsification to more general schemes that could also be used in deriving Curry’s Paradox.

In Rogerson and Restall’s, the “class of implication formulas known to trivialize ” is recorded. The aim of this paper is to show how to invalidate any member in this class by using “weak relevant model structures”. Weak relevant model structures verify deep relevant logics only.

In this paper, consistency is understood as the absence of the negation of a theorem, and not, in general, as the absence of any contradiction. We define the basic constructive logic BKc1 adequate to this sense of consistency in the ternary relational semantics without a set of designated points. Then we show how to define a series of logics extending BKc1 within the spectrum delimited by contractionless minimal intuitionistic logic. All logics defined in the paper are paraconsistent logics.

We provide Routley-Meyer type semantics for relevant logics including Contractionless Ticket Entailment TW (without the truth constant t and o) plus reductio R and Ackermann’s rule γ (i.e., disjunctive syllogism). These logics have the following properties. (i) All have the variable sharing property; some of them have, in addition, the Ackermann Property. (ii) They are stable. (iii) Inconsistent theories built upon these logics are not necessarily trivial.

The logic BN4 was defined by R.T. Brady in 1982. It can be considered as the 4-valued logic of the relevant conditional. E4 is a variant of BN4 that can be considered as the 4-valued logic of entailment. The aim of this paper is to define reduced general Routley-Meyer semantics for BN4 and E4. It is proved that BN4 and E4 are strongly sound and complete w.r.t. their respective semantics.

This paper shows that philosophy and contemplation are integral parts of leisure and of a fully conscious educative experience. Through examination of the concepts of philosophy, the philosopher, and contemplation, it will be proposed that leisure is a necessary condition for philosophy and for education. To conceptually bring together philosophy and education with leisure, the act of teaching as “an overflow of contemplation,” following Yves Simon’s definition, will be considered. Supporting the philosophical view of education as constituting an inward transformation (...) of the individual, from which he or she can better regard the world and his or her place in it, a serious theory of education rooted on leisure is a timely and valuable idea to consider. (shrink)

BackgroundMonitoring recovery–stress balance in sport is becoming more relevant to prevent training maladaptation and reach the optimal performance for each athlete. The use of questionnaires that identify the athlete’s recovery–stress state have much acceptance in sports due to reliability and useful, furthermore for its low cost. Identifying possible differences between sport modalities and sex is important to determine specific needs and possible intervention ways to keep a recovery–stress balance. The aim was to analyze the differences in the recovery–stress state and (...) mood states by sex and sport type during the competitive phase in young Mexican athletes. As a secondary objective, the psychometric properties of the Mexican version of the Recovery–Stress Questionnaire for Athletes were analyzed.MethodsA cross-sectional study was carried on with 461 athletes, 17.95 years old, from six sports disciplines. The RESTQ-Sport and Profile of Mood States were applied in a single moment. Differences by sex and sports modality were analyzed. RESTQ-Sport’s confirmatory factor analysis was performed after the stress and recovery theoretical structure of two stress and two recovery dimensions, and last, the concurrent validation with the POMS was carried on.ResultsSignificant differences by sex were found in the General Recovery and Sport Stress dimensions of the RESTQ-Sport as well as Vigor factor of the POMS, being higher for men; furthermore, both the Sport Recovery dimension of RESTQ-Sport and Cholera and the Fatigue and Depression factors from POMS also had differences by sport type, showing a less recovery and high stress for individual sport athletes. Goodness-of-fit indexes of the model for the RESTQ-Sport were acceptable. Pearson’s correlation between questionnaires was moderate.ConclusionThe recovery–stress state shows differences in the function of sex and sport modality. More special attention is suggested for women and individual sport athletes. The higher punctuation for men compared with women in sport stress dimension did not negatively affect the recovery–stress balance for male athletes. Finally, the Mexican context adaptation of the RESTQ-Sport provides a psychometric instrument suitable to assess the recovery–stress balance in Mexican athletes. (shrink)

The logic DHb is the result of extending Sylvan and Plumwood’s minimal De Morgan logic BM with a dual intuitionistic negation of the type Sylvan defined for the extension CCω of da Costa’s paraconsistent logic Cω. We provide Routley–Meyer ternary relational semantics with a set of designated points for DHb and a wealth of its extensions included in G3DH, the expansion of G3+ with a dual intuitionistic negation of the kind considered by Sylvan (G3+ is the positive fragment of Gödelian (...) 3-valued logic G3). All logics in the paper are paraconsistent. (shrink)

The logic BN4 can be considered as the 4-valued logic of the relevant conditional and the logic E4, as the 4-valued logic of entailment. The aim of this paper is to endow E4 with a 2-set-up Routley-Meyer semantics. It is proved that E4 is strongly sound and complete w.r.t. this semantics.

Sylvan and Plumwood’s is the relevant De Morgan minimal logic in the Routley-Meyer semantics with a set of designated points. The aim of this paper is to define the logic and some of its extensions. The logic is the non-relevant De Morgan minimal logic in the Routley-Meyer semantics without a set of designated points.

Łukasiewicz three-valued logic Ł3 is often understood as the set of all 3-valued valid formulas according to Łukasiewicz’s 3-valued matrices. Following Wojcicki, in addition, we shall consider two alternative interpretations of Ł3: “well-determined” Ł3a and “truth-preserving” Ł3b defined by two different consequence relations on the 3-valued matrices. The aim of this paper is to provide (by using Dunn semantics) dual equivalent two-valued under-determined and over-determined interpretations for Ł3, Ł3a and Ł3b. The logic Ł3 is axiomatized as an extension of Routley (...) and Meyer’s basic positive logic following Brady’s strategy for axiomatizing many-valued logics by employing two-valued under-determined or over-determined interpretations. Finally, it is proved that “well determined” Łukasiewicz logics are paraconsistent. (shrink)

A restriction of R-Mingle with the variable-sharing property and the Ackermann properties is defined. From an intuitive semantical point of view, this restriction is an alternative to Anderson and Belnap’s logic of entailment E.

Łukasiewicz three-valued logic Ł3 is often understood as the set of all 3-valued valid formulas according to Łukasiewicz’s 3-valued matrices. Following Wojcicki, in addition, we shall consider two alternative interpretations of Ł3: “well-determined” Ł3a and “truth-preserving” Ł3b defined by two different consequence relations on the 3-valued matrices. The aim of this paper is to provide dual equivalent two-valued under-determined and over-determined interpretations for Ł3, Ł3a and Ł3b. The logic Ł3 is axiomatized as an extension of Routley and Meyer’s basic positive (...) logic following Brady’s strategy for axiomatizing many-valued logics by employing two-valued under-determined or over-determined interpretations. Finally, it is proved that “well determined” Łukasiewicz logics are paraconsistent. (shrink)

Equivalent overdetermined and underdetermined bivalent Belnap–Dunn type semantics for the logics determined by all natural implicative expansions of Kleene’s strong 3-valued matrix with only one designated value are provided.

As English Studies researchers and teachers, our experience has shown that there continues to exist an urgent need to incorporate gender as a reading tool of literary texts to foster a non-discriminatory and equality perspective. Given the many advances in gender equality that have been achieved as well as the rising backlash against such progressive moves that spread through Europe, our proposal is based on the “queerification of the classroom”, a notion defined as a transgressive initiative that effectively and systematically (...) incorporates the deconstruction of normativity and fosters resistance to socially constructed assumptions about normativity and deviance. (shrink)

Introduction Currently, The nature and scope of Clinical Ethics Protocols in Madrid are not well understood.Objectives The main objective is to describe the features of ‘guideline/recommendation’ type CEPs that have been or are being developed by existing Clinical Ethics Committees in Madrid. Secondary objectives include characterisation of those CECs that have been the most prolific in reference to CEP creation and implementation and identification of any trends in future CEP development.Methods We collected CEPs produced and in process by CECs accredited (...) in the public hospitals in Madrid, Spain, from 1996 to 2008.Results CECs developed 30 CEPs, with 10 more in process. The most common topic is refusal of treatment . If CEPs addressing terminal illness, Do-Not-Resuscitate orders and advance directives are placed into a separate ‘ethical problems at the end of life’ category, this CEP subject emerges as the most common . There is a relationship between the age of the CEC and the development of CEPs . CECs now seem to be more likely to engage in CEP development.Conclusions The CECs in Madrid, Spain, have developed a significant number of CEPs and there is a trend towards continued development. The most frequent topics are ethical problems at the end of life and refusal of treatment by the patient. (shrink)

The Converse Ackermann Property is the unprovability of formulas of the form (A -> B) -> C when C does contain neither -> nor ¬. Intuitively, the CAP amounts to rule out the derivability of pure non-necessitive propositions from non-necessitive ones. A constructive negation of the sort historically defined by, e.g., Johansson is added to positive logics with the CAP in the spectrum delimited by Ticket Entailment and Dummett’s logic LC.

Belnap and Dunn’s well-known 4-valued logic FDE is an interesting and useful non-classical logic. FDE is defined by using conjunction, disjunction and negation as the sole propositional connectives. Then the question of expanding FDE with an implication connective is of course of great interest. In this sense, some implicative expansions of FDE have been proposed in the literature, among which Brady’s logic BN4 seems to be the preferred option of relevant logicians. The aim of this paper is to define a (...) class of implicative expansions of FDE in whose elements Boolean negation is definable, whence strong logics such as the paraconsistent and paracomplete logic PŁ4 and BN4 itself are definable, in addition to classical propositional logic. (shrink)

The concept of constructive negation we refer to in this paper is (minimally) intuitionistic in character (see [1]). The idea is to understand the negation of a proposition A as equivalent to A implying a falsity constant of some sort. Then, negation is introduced either by means of this falsity constant or, as in this paper, by means of a propositional connective defined with the constant. But, unlike intuitionisitc logic, the type of negation we develop here is, of course, devoid (...) of paradoxes of relevance. (shrink)

The logic TW+ is positive Ticket Entailment without the contraction axiom. Constructive negation is understood in the (minimal) intuitionistic sense but without paradoxes of relevance. It is shown how to introduce a constructive negation of this kind in positive logics at least as strong as TW+. Special attention is paid to the reductio axioms. Concluding remarks about relevance, modal and entailment logics are stated. Complete relational ternary semantics are provided for the logics introduced in this paper.

The present paper is a sequel to Robles et al. :349–374, 2020. https://doi.org/10.1007/s10849-019-09306-2). A class of implicative expansions of Kleene’s 3-valued logic functionally including Łukasiewicz’s logic Ł3 is defined. Several properties of this class and/or some of its subclasses are investigated. Properties contemplated include functional completeness for the 3-element set of truth-values, presence of natural conditionals, variable-sharing property and vsp-related properties.

Let \ be distintict wffs, \ being an odd number equal to or greater than 1. Intuitionistic Propositional Logic IPC plus the axiom \\vee...\vee \vee \) is equivalent to Gödel-Dummett logic LC. However, if \ is an even number equal to or greater than 2, IPC plus the said axiom is a sublogic of LC.